(0 18 15)(1 19 3)(2 9 7)(4 17 6)(5 20 14)(8 13 10)(11 16 12)
ALLOWS (11/8)-SEQUENCE
1: (5 14 20)
(0 18 15)(1 19 3)(2 9 7)(4 17 6)(5 14 20)(8 13 10)(11 16 12)
2: (4 17 6)
(0 18 15)(1 19 3)(2 9 7)(4)(5 14 20)(6)(8 13 10)(11 16 12)(17)
3: (5 14 20)
(0 18 15)(1 19 3)(2 9 7)(4)(5)(6)(8 13 10)(11 16 12)(14)(17)(20)
4: (0 18 15)
(0)(1 19 3)(2 9 7)(4)(5)(6)(8 13 10)(11 16 12)(14)(15)(17)(18)(20)